Deadlock prevention in a completely decentralized controlled materials flow systems

نویسندگان

  • Stephan Mayer
  • Kai Furmans
چکیده

In this paper, we develop policies to prevent deadlocks in a decentralized modular materials flow. The system consists of locally controlled conveyor units (modules) that can be plugged together in order to flexibly interconnect materials flows within a given production area. The controller of each module is a local agent that follows its own specific control rules. The behavior of the overall system is generated as the result of the interaction of the modules. The findings in this paper are based on the dissertation research by Dr. Stephan Mayer (Development of a completely decentralized control system for modular continuous conveyors. Dissertation, Universitätsverlag Karlsruhe, 2009), which provides a comprehensive description of the development of decentralized control policies for in-plant continuous materials flow systems. 1 The limits of centrally controlled materials flow systems The investment for the installation of conventional in-plant conveyor technology is very high. Especially for smaller companies, it severely limits their ability to automate materials flow processes. That is why the in-plant transportation of unit loads in industry still is carried out by discontinuous conveyors like fork lifts or manually operated lift trucks. Even where the initial investment is not prohibitive, the option of conventional fixed installations of continuous conveyor systems and the related necessity of a centrally, individually programmed control are not cost effective in many cases, because increasingly shorter product life cycles in industry cause frequent changes in material flow patterns and volumes which, in turn, cause high changeover cost and are time-consuming. The alternative use of driverless transport systems as an automated solution features higher flexibility, but typically features significantly lower throughput and relatively high investment and operating costs. Even though manufacturers of continuous conveyors offer systems that are modularly constructed and easily connectable, the expenditures for changing their configuration are still high, when conventional systems of central control are being applied. Reconfigurations and customizing of those systems require extensive rewiring or, at the least, rewriting the control programs. Each installation and putting into operation adds very high cost. The example of modern IT networks shows that significant cost savings can be realized with systems that are modular and self-controlled: A large number of independent nodes create a network that is capable of moving large amounts of data without the necessity of an expensive, central computer. Individual computers independently find new connections after being linked. In very short time, they create their own map of the real topology in form of a routing table. When a message is received, the destination is identified and forwarded to the next node on the route. Mechanisms are applied here that ensure that collisions and time losses are avoided. The following discussion shows how the idea of a decentralized control concept in IT networks can be transferred to the design of innovative materials flow S. Mayer (&) Institute of Conveyor Technology and Logistics (IFL), University of Karlsruhe (TH), Karlsruhe, Germany e-mail: [email protected] K. Furmans Head of the Institute of Conveyor Technology and Logistics (IFL), University of Karlsruhe (TH), Karlsruhe, Germany 123 Logist. Res. (2010) 2:147–158 DOI 10.1007/s12159-010-0035-4

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Adaptive Observer-Based Decentralized Scheme for Robust Nonlinear Power Flow Control Using HPFC

This paper investigates the robust decentralized nonlinear control of power flow in a power system using a new configuration of UPFC. This structure comprises two shunt converters and one series capacitor called as hybrid power flow controller (HPFC). A controller is designed via control Lyapunov function (CLF) and adaptive observer to surmount the problems of stability such as tracking desired...

متن کامل

Overview on Decentralized Establishment of Multi-lateral Collaborations

Service oriented architectures facilitate loosely coupled collaborations, which are established in a decentralized way. One challenge for such collaborations is to guarantee consistency, that is, fulfillment of all constraints of individual services and deadlock-freeness. This paper presents an overview on a decentralized approach to consistency checking, which utilizes only bilateral views of ...

متن کامل

An Analysis of Circulation of Decentralized Digital Money in Quantum Electrodynamics Space: the Econphysics Approach

The study aimed at showing how to create and release cryptocurrency, based on which one can introduce a new generation of this money that can continue its life in the quantum computers space and study whether cryptocurrency could be controlled or the rules should be rewritten in line with new technology. Regarding this, we showed the evolution of money and its uses in economic relations. Accord...

متن کامل

Decentralized Control of Infinite Systems

We propose algorithms for the synthesis of decentralized statefeedback controllers with partial observation of infinite state systems, which are modeled by Symbolic Transition Systems. We first consider the computation of safe controllers ensuring the avoidance of a set of forbidden states and then extend this result to the deadlock free case. The termination of the algorithms solving these pro...

متن کامل

A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness

Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Logistics Research

دوره 2  شماره 

صفحات  -

تاریخ انتشار 2010